equationally definable class

мат.

1) многообразие

2) примитивный класс

3) эквационально определимый класс